// 定义一个接口约束数据类型
export interface Todo {
    id: number,
    title: string,
    isCompleted: boolean
}